deferred class A_CONT_TAG 

feature

	add (a: ALVO) is
		deferred
		end -- add

feature

	items: COLLECTION[ALVO]
	
feature

	cursor: ITERATOR[ALVO] is
		do
			Result := items.get_new_iterator
		end
	
feature

	assert (b: BOOLEAN) is
		require
			assertion: b
		do
		end -- assert 
		
end	-- class A_CONT_TAG
